package modelo;

public interface Iautomata {
	
  public void agregarDependencia(char estado,char llegada,char simbolo);

  public void agregarEstado(char nombre, boolean terminal);
  
  public void reducir();
}
